davis–putnam algorithm - Espagnol Anglais Dictionnaire